HalVA - Rule Analysis Framework for XTT2 Rules
نویسندگان
چکیده
Quality and reliability issues are important in development and exploration of rule-based systems. In the paper a formalized knowledge representation for rules called XTT2 is considered. It is a rule language based on an expressive attribute logic called ALSV(FD). A custom runtime and veri cation framework for XTT2 called HalVA is proposed. It allows for veri cation of certain formal properties of rules, including determinism, subsumption or completeness.
منابع مشابه
Proposal of a Hierarchical Approach to Formal Verification of BPMN Models Using Alvis and XTT2 Methods∗
BPMN is a visual notation for modeling business processes. Although there are many tools supporting it, they rarely provide formal verification of models. We propose a new approach to formal verification of BPMN models using the Alvis modeling language and the XTT2 knowledge representation. The structure of the BPMN model can be analyzed using translation to Alvis. Alvis models can be verified ...
متن کاملUml Representation for Rule-Based Application Models with XTT2-Based Business Rules
In this paper challenges of using Knowledge Engineering methods in the Software Engineering practice, with focus on the visual design methods for software applications, are discussed. The paper concerns practical design issues of rule-based models integrated with business applications built using the Model-View-Controller (MVC), or equivalent architectural pattern. The Unified Modeling Language...
متن کاملCritical evaluation of the XTT2 rule representation through comparison with CLIPS
There are two main approaches to the design Business Rules. The first one involves formalized methods that strictly define the syntax and semantics of rules. This approach usually requires technical skills or conceptual knowledge and therefore is not appropriate for everyone. In the second approach, dedicated rule languages are used for facilitating rules specification. Nevertheless, such langu...
متن کاملProposal of Representing BPMN Diagrams with XTT2-Based Business Rules
Business Processes describe operations of an organization. However, they do not take into account such aspects as detailed logic specification or process implementation. Business Rules are generally better suited for these purposes. Although there is ongoing research on integration of Business Processes with Business Rules, there is no standardized methodology for this integration. We propose a...
متن کاملEnriching Business Processes with Rules
BPMN is a leading visual notation for modeling Business Processes. Although it can be efficiently used for modeling workflow structures, it is not suitable for modeling the low-level logic of particular tasks in the process. Recently, Business Rules have been used for this purpose. Such rules are often specified in natural language and in an informal way. In this paper, we consider an approach ...
متن کامل